Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, Augusto (...) evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

On how medieval philosophy is not (only) theology.

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Introduction - From the Illiad to the Studies on Hysteria: A chronology of the discovery of the unconscious mind - Freud's theories of the unconscious mind - Jung's collective unconscious - Lacan's linguistic paradigm.

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

In this Ph.D. dissertation, completed at the Sorbonne, it is shown that the whole of medieval philosophy was not reduced to a realist stance: in the 13th-14th centuries, an idealist stance emerged and was developed into a full-fledged epistemological idealism, personified in the philosophers Eckhart von Hochheim and Dietrich von Freiberg. This dissertation deviates from most works in the history of philosophy by proposing to see this as a taxonomy.

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description logic (...) as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

Se analizan los argumentos de la obra cartesiana en torno a la tesis dualista del autor. Al rechazar que el dualismo cartesiano sea un tipo de dualismo ontológico, se indaga sobre los conceptos fundamentales de la filosofía cartesiana, en la búsqueda de una caracterización más apropiada de la propuesta de Descartes. Analizando la “distinción real” entre la mente y el cuerpo, se llega a la afirmación de que el dualismo cartesiano es un dualismo de atributos que implica el dualismo sustancial, (...) teniendo en cuenta los principios metafísicos y epistemológicos del autor. (shrink)

The aim of this essay is to analyze the concept of acquaintance in the philosophy of Bertrand Russell. First, Russell’s epistemological program and works are presented in a general manner. Then, the concept of acquaintance is defined and characterized, as well as the so-called principle of acquaintance. After that, acquaintance is placed in Russell’s epistemology as the core of his theory of knowledge. Finally, I will make some critical remarks concerning the role of acquaintance in Russell’s epistemological framework.

Se analizan las principales propuestas ontológicas con respecto a la naturaleza de la experiencia humana, en el contexto de la filosofía de la mente. Por un lado, se examinan distintas formas de dualismo, tomando como criterio de definición la irreducibilidad de lo mental. Por otro lado, se exploran distintas formas de materialismo, tomando como criterio de definición la posibilidad de la reducción de lo mental, así como la posibilidad de su eliminación. Mediante este análisis, se busca esclarecer los presupuestos ontológicos, (...) implícitos y explícitos, que determinan la naturaleza de cada una de las propuestas. (shrink)

El objetivo de este ensayo es analizar la propuesta de Bergson sobre la experiencia consciente. Al revisar las obras del autor en las que se trata el tema de la experiencia consciente, se hace notable que el autor carece de precisión con respecto asus argumentos y conceptos; no obstante,las ideas que se expresan a lo largo de susescritos son dignas de un trabajo interpretativo. Se trata de una exposiciónde los elementos fundamentales parauna comprensión apropiada del puntode vista de Bergson. Este (...) recorridopermite vislumbrar el carácter de latesis dualista del autor, así como también su posición frente al problema mente-cuerpo. (shrink)

El objetivo del presente ensayo es el de examinar las características de los tipos de análisis conceptual propuestos por Jackson en From Metaphysics to Ethics y de Strawson en Análisis y Metafísica. Se quieren confrontar dos tipos de análisis conceptual: Por una parte, se pretende aclarar algunos aspectos característicos del tipo de análisis conceptual propuesto por cada autor, desde el punto de vista metodológico, y, por otra, caracterizar la naturaleza de lo que cada uno considera como conceptos básicos del análisis.

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

SINGULARITY: 12 Precepts for Transcendental Living | © 2022 Cromwell Black Publishing House | Original work by Luis Herrera. -/- Living transcendentally is not the same as ‘having the answers to life.’ The intention with which this book is written is to help you identify the God within yourself. Religion is a guidepost, but not the answer. Philosophy is a guidepost, not the answer. People that over-identify with one group or tribe for ideological reasons invariably meet with disappointment because (...) there will always be some tenets they internally oppose and disagree with. Yet they ignore their inner voice in order to ‘fit in with the rest.’ Man is a social animal and excommunication from the tribe has been tantamount to extinction of our lineage since our days as hunters and gatherers. By living transcendentally I have learned to acknowledge, welcome and accept the space between myself and my tribe. I invite you to do the same. -/- Learning to listen to the God within, I can trust my inner voice more because there is a message spoken there, uniquely for me, that will never be printed on the pages of the Bible, or the Koran, or the Tao Te Ching, or any other book for that matter. There’s only one YOU. Others may have your name, but not your identity. They may share your birth date and hospital, but not your parents. They may share your parents, but not your name. Do you see what I’m getting at here? Therefore how can a ‘one-size fits all’ religion, education or philosophy possibly answer the question to your meaning of life? There is no the meaning of life, because there is no the life. There are infinite lives, for which infinite meanings must be furnished. Hence the importance of learning to trust yourself, your inner voice, conscience – the God within. (shrink)

Science, technology, and professions form a system with strong interactions. Yet, these activities attack different kinds of problems which require different kinds of solutions. The problems that trigger scientific and technological research remain insufficiently solved or unsolved, therefore their possible solutions must be invented (i. e. they are partially or totally original) and, consequently, they should be tested against reality by researchers before considering them as true or useful. On the contrary, the problems that trigger professional inquiry are already solved, (...) or have at least some partial solution at hand that is available in the form of a technical protocol. This solution is applied with caution but without testing (i. e. the professional assumes that the solution works because it was already challenged by researchers). Moreover, science and technology tackle unsolved inverse problems, which allow the radical advancement of knowledge, and genuine innovation. A science policy based on a clear distinction between creative and routine activities (i. e. a cre- atively friendly policy) offers an opportunity for societies to reach value-added innovative economic and integral development. (shrink)

J. Schauder introduced the notion of basis in a Banach space in 1927. If a Banach space has a basis then it is also separable. The problem whether every separable Banach space has a Schauder basis appeared for the first time in 1931 in Banach's book "Theory of Linear Operations". If a Banach space has a Schauder basis it also has the approximation property. A Banach space X has the approximation property if for every Banach space Y the finite rank (...) operators are dense in the closed subspace of all compact operators from Y to X. Both problems were solved in the negative in 1972 by Per Enflo. His proof was almost immediately simplified by A. M. Davie, who using a probabilistic lemma constructed a separable closed subspace of l_inifnity without the approximation property. In this thesis we present some of the equivalent properties to the approximation property due to A. Grothendieck, and we make a detailed exposition of the proof by A. M. Davie. (shrink)

La science, la technologie et les professions forment un système de fortes interactions. Pourtant, ces activités s’attaquent à différents types de problèmes qui nécessitent différentes solutions. Les problèmes qui aiguillonnent la recherche scientifique et technologique demeurent insuffisamment résolus ou non résolus, donc leurs possibles solutions doivent être inventées (c.-à-d. qu’elles sont partiellement ou totalement originales) et, par conséquent, elles doivent être testées contre la réalité par les chercheurs avant de les considérer comme vraies ou utiles. Par contre, les problèmes qui (...) aiguillonnent une investigation professionnelle sont déjà résolus ou une solution partielle est disponible sous la forme d’un protocole technique. Cette solution est appliquée avec prudence sans être testée (c’est-à-dire que le professionnel suppose que la solution fonctionne parce qu’elle a déjà été mise à l’épreuve par les chercheurs). De plus, la science et la technologie s’attaquent à des problèmes inverses non résolus, ce qui permet l’avancement radical des connaissances par de véritables innovations. Une politique scientifique fondée sur une dis- tinction claire entre les activités créatives et les activités routinières (c.-à-d. une politique respectueuse de la créativité) offre à la société la possibilité d’un développement économique et intégral à valeur ajoutée. (shrink)

Comments on the paper: Pluralismo y absolutismo en la crítica. Dialéctica reflexiva y política democrática a partir de M. Horkheimer y Th. W. Adorno, by Emiliano Matías Gambarotta.

From the apparently trivial problem of homonyms, I argue that proper names as they occur in natural languages cannot be characterised as strings of sounds or characters. This entails, first, that the proper names philosophers talk about are not physical entities, like strings, but abstractions that, second, may be better characterised as triples (s, m, C), where s is the string that conveys the meaning m in a set of contexts C. Third, the generality principle of compositionality may be put (...) into question, for apparently its converse holds in some cases. Finally, the prominence of context for determining the meaning expressed by a sign suggests a strong connection between proper names and indexicals. This connection has been largely overlooked by the analytic tradition, in spite that both proper names and indexicals have been among their hottest topics. This may be because the analytic literature about proper names has been decisively influenced by Frege’s work, which was better suited for formal languages. Izydora Dąmbska and Jerzy Pelc, with their semiotic background, were able to have a finer understanding of this quasi-indexical character of proper names. (shrink)

Education is a developmental process that may be improved by using a range of strategies to develop engaging classes. It stands for the educators' personal philosophy and utmost aspiration. This study aimed to assess and identify the strategies, methods, and trends of teaching-learning on students’ perspectives and their effectiveness in the new normal of education. The study employed the descriptive approach with a quantitative research design in analyzing the strategies, methods, and trends of teaching-learning. The participants of the study are (...) the professional teachers in the selected 2 public schools in the Agusan del Sur division under the San Luis District, particularly at San Luis National High School and San Mariano Elementary School. Based on the findings, it was gleaned from the findings, it was definitely concluded that the overall weighted mean value was 4.08 with a descriptive level of observation and interpretation of very satisfied based on the results. Additionally, it was revealed that the z-computed value in the result obtained with 105.329 is greater than the z-critical value of 1.87, which definitely resulted in the rejection of the hypothesis of the study. Thus, there is a statistically significant difference in the strategies, methods, and trends of teaching in the new normal learning perspective as observed by the participants of the study. Therefore, the strategies, methods, and trends in teaching shows to lay the foundation of why and how to conduct the class and helps set expectations by the students at school, also creating a shared class culture where students take more responsibility and understanding for their class participation. (shrink)

O livro Verdade e Linguagem em Nietzsche, organizado por André Luís Mota Itaparica e Márcio José Silveira Lima, reúne oito artigos apresentados por ocasião do XXXII Encontros Nietzsche, seminário promovido pelo Grupos de Estudos Nietzsche (GEN) e realizado em Salvador, em 2012. Publicada em 2014, a unidade da obra, como indica o título, passa pelo compartilhamento de uma temática comum: a relação entre linguagem e verdade no pensamento nietzschiano. Apesar de reconhecermos a estreiteza de uma tal relação, cabe ressaltar que (...) é o problema da linguagem que ocupa posição central, sendo, sem dúvidas, sua articulação com a verdade um elemento observado por diversos dos autores. Nesse sentido pode-se dizer que o leitor da obra descobre que o ponto mínimo para o qual convergem os autores é a importância da reflexão sobre a linguagem para os caminhos tomados pelo pensamento nietzschiano. Isso não significa, no entanto, que haja comunhão em torno de uma tese geral que apenas seria desdobrada por autores distintos. Pelo contrário, um dos méritos do livro reside justamente no fato de apresentar a complexidade e riqueza do pensamento nietzschiano a partir de uma certa temática. (shrink)

This book presents a selection of theoretical and applied texts of Richard Hare, as well as an appendix which includes several fundamental studies for the understanding of the ethics of 20th century.

En 1982, John Wettersten, dans un texte à propos du malaise et de la frustration qu’on peut ressentir à la lecture de l’oeuvre de Bunge, tentait de comprendre pourquoi son oeuvre n’est pas consi- dérée comme une alternative aux travaux d’autres philosophes. La réponse proposée par Wettersten a trait au problème d’acquisition de la connaissance. Si la connaissance est contextuelle, relative à un cadre de pensée, comment pouvons- nous alors évaluer rationnellement ce cadre de pensée lui-même ? Wettersten identifie deux (...) tendances : ou bien on soutient que les cadres de pensée sont choisis arbitrairement, ce qui mène au rela- tivisme, ou bien on soutient qu’il n’existe qu’un seul cadre de pensée immuable, ce qui mène au dogmatisme. (shrink)

Mistificări istoriografice. Un scaun episcopal neocupat de „ctitorul de frunte al Filocaliei”. Cum să împiedici intelectualii și cohortele de tărani să-l aculte pe Sfântul de la Sâmbăta care „predica dumnezeiește”. Rectitorirea Mănăstirii Prislop a urmat rectitoririi Mânăstirii Brâncoveanu. Lagăre și închisori de exterminare unde a pătimit Starețul de la Sâmbăta si apoi de la Prislop. Dresații învățământului post-comunist și stupefianta lor credulitate. Părintele Arsenie Boca își vedea propriile suferințe viitoare. Securitatea sovietică nu l-a gasit vinovat. Mărturia unui elev trecut prin (...) „Moara lui Kalușek”. Minciuni securiste văzute de cercetătorii de azi ca adevăr revelat. Lățirea minciunii în spusele călugărului Teofil Pârâian. Paradigma „Arsenie Boca – Părăian” după modelul Eliade -Culian’ si Noica – Liicean’ de promovare a „înlocuitorilor”. Uciderea în anii ‘80 a unui preot polonez asemănătoare cu schingiuirea Părintelui Arsenie Boca la 79 de ani. Mărturii în răspăr cu istoria prefabricată în arhivele Securității și difuzată prin pangare, prin librării și prin internet de cercetători precum A.N. Petcu, G. Enache, V. Manea, F. Bichir etc. (shrink)

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.

Revista Intelligence Info este o publicație trimestrială din domeniile intelligence, geopolitică și securitate, și domenii conexe de studiu și practică. -/- Cuprins: -/- EDITORIAL / EDITORIAL -/- Nicolae SFETCU The Role of Polanyi’s Tacit Knowledge in Intelligence Analysis Rolul cunoașterii tacite a lui Polanyi în analiza informațiilor -/- INTELLIGENCE / INTELLIGENCE -/- Tănase TIBERIU Principles, methods and means of intelligence activity in the Russian Federation and Israel Principii, metode și mijloace ale activității informative în Federația Rusă și Israel -/- Tănase (...) TIBERIU Considerations on intelligence and anticipation Considerații privind intelligence și anticiparea -/- ISTORIA / HISTORY -/- Tănase TIBERIU The continuity of the KGB in the 20th century – Descendants of the KGB Continuitatea KGB-lui în secolul XX –Urmașele KGB ului -/- Lucian Ștefan COZMA, Daniela Georgiana GOLEA The Real History of the Romteleghid Project: 1 – Geophysical Aggression Istoria reală a proiectului Romteleghid: 1 – Agresiunea geofizică -/- GEOPOLITICA / GEOPOLITICS -/- Emilian M. DOBRESCU Rare Earths in Other Countries Except China Pământuri rare în alte țări, cu excepția Chinei -/- SECURITATE / SECURITY -/- Nicolae SFETCU Advanced Cognitive Electronic Warfare: Enhancing Strategic Superiority Through Intelligent Systems Războiul electronic cognitiv avansat: sporirea superiorității strategice prin sisteme inteligente -/- ȘTIINȚA INFORMAȚIEI / INFORMATION SCIENCE -/- Nicolae SFETCU The Influence of Artificial Intelligence on Human Activity and Human Intelligence Influența inteligenței artificiale asupra activității umane și a inteligenței umane -/- ISSN 2821-8159 ISSN-L 2821-8159, DOI: 10.58679/II12575. (shrink)

În acest articol încerc să argumentez opinia că, așa cum este definită eugenia, este foarte dificil de făcut o diferențiere clară între știință (medicină, ingineria genetică) și eugenie. Și de stabilit o linie peste care ingineria genetică nu ar trebui să treacă, conform unor norme morale, juridice și religioase. Atâta timp cât acceptăm ajutorul geneticii în găsirea unor modalități de combatere a cancerului, diabetului sau HIV, acceptăm în mod implicit și eugenia pozitivă, conform definiției actuale. Și atâta timp cât acceptăm (...) screening-ul genetic, și intervenții asupra fătului nenăscut, sau avortul, acceptăm în mod implicit și eugenia negativă. În plus, la nivel de guverne, deși oficial eugenia este repudiată, ea a fost legalizată în foarte multe țări până de curând, și încă mai este acceptată și legalizată, chiar dacă în forme mai subtile, și în prezent. În Introducere definesc termenul și modurile de clasificare. Urmează Istoria eugeniei pornind din perioada antică, introducerea eugeniei de Francis Galton, practica eugeniei ca politică de stat în diverse țări, și eugenia actuală (eugenia liberală). Analizez apoi diverse probleme ridicate de Etica eugeniei liberale, și am dezvoltat o secțiune aparte pentru Viitorul eugeniei, cu accent pe proiectul genomului uman. În final, în secțiunea Concluzii expun opiniile personale cu privire la practica actuală a eugeniei. Am folosit ca surse principale de investigație articolele lui Kenneth M. Ludmerer, ”American Geneticists and the Eugenics Movement: 1905-1935”, Kathy J. Cooke, ”Duty or Dream? Edwin G. Conklin's Critique of Eugenics and Support for American Individualism”, Jonathan Anomaly, ”Defending Eugenics”, John R. Harding Jr. ”Beyond Abortion: Human Genetics and the New Eugenics”, Michael Boulter, ”Bloomsbury Scientists”, Chapter Title: The rise of eugenics, 1901–14, Michael Ruse and Edward O. Wilson, ”Moral Philosophy as Applied Science” și Goering, Sara, "Eugenics". (shrink)